(= -3i64 (- 3i64))
